Unions of Slices Are Not Slices
نویسندگان
چکیده
Many approaches to slicing rely upon the ‘fact’ that the union of two static slices is a valid slice. It is known that static slices constructed using program dependence graph algorithms are valid slices [19]. However, this is not true for other forms of slicing. For example, it has been established that the union of two dynamic slices is not necessarily a valid dynamic slice [8]. In this paper this result is extended to show that the union of two static slices is not necessarily a valid slice, based on Weiser’s definition of a (static) slice. We also analyse the properties that make the union of different forms of slices a valid slice.
منابع مشابه
Protective effect of curcumin and Curcuma longa extract on apoptosis of motor neurons in cultured spinal cord slices of adult mouse
Introduction: Since Curcuma longa extract and curcumin have been shown to be potent antioxidant agents, they were used in cultured adult mouse spinal cord slices to investigate whether they can inhibit apoptosis in motor neurons. Methods: Slices from the thoracic region of adult mice spinal cord were divided into four groups: 1. Freshlyprepared slices (time 0) 2. Control 3. Slices treated by cu...
متن کاملPlastination and Staining of Brain Slices Using Two Different Dehydration Methods
Introduction: Unstained formalin-fixed whole brain specimens and brain slices do not give satisfactory results for teaching neuroanatomy. In addition, difficulties in obtaining human brains for dissection have increased the demand for more durable brain specimens that have been obtained by the plastination technique. In the present study brain specimens were sliced, fixed and stained using...
متن کاملStudy of Reinforced Slopes Safety Factor Using the Inclined Slices Method
Stability of reinforced slopes is almost always carried out using limit equilibrium methods and controlled by the shear strengths of the slope materials and the extension force of reinforcements. According to limit equilibrium methods, the stability of slopes is assessed by dividing the whole failure wedge into several vertical elements. In order to determine the safety factor of the reinforce...
متن کاملProtective effects of phenolic acids on mercury-induced DNA damage in precision-cut kidney slices
Objective(s): Precision-cut tissue slices are considered an organotypic 3D model widely used in biomedical research. The comet assay is an important screening test for early genotoxicity risk assessment that is mainly applied on in vitro models. The aim of the present study was to provide a 3D organ system for determination of genotoxicity using a modified method of the comet assay since the s...
متن کاملStudy of Reinforced Slopes Safety Factor Using the Inclined Slices Method
Stability of reinforced slopes is almost always carried out using limit equilibrium methods and controlled by the shear strengths of the slope materials and the extension force of reinforcements. According to limit equilibrium methods, the stability of slopes is assessed by dividing the whole failure wedge into several vertical elements. In order to determine the safety
factor of the reinfor...
متن کامل